Coherent homotopy and localization

Homotopy Coherent Category Theory

Homotopy Coherent Structures

Naturally occurring diagrams in algebraic topology are commutative up to homotopy, but not on the nose. It was quickly realized that very little can be done with this information. Homotopy coherent category theory arose out of a desire to catalog the higher homotopical information required to restore constructibility (or more precisely, functoriality) in such “up to homotopy” settings. The firs...

Coherent Functors in Stable Homotopy Theory

such that C and D are compact objects in S (an object X in S is compact if the representable functor Hom(X,−) preserves arbitrary coproducts). The concept of a coherent functor has been introduced explicitly for abelian categories by Auslander [1], but it is also implicit in the work of Freyd on stable homotopy [9]. In this paper we characterize coherent functors in a number of ways and use the...

Homotopy Coherent Adjunctions of Quasi-categories

We show that an adjoint functor between quasi-categories may be extended to a simplicially enriched functor whose domain is an explicitly presented “homotopy coherent adjunction”. This enriched functor encapsulates both the coherent monad and the coherent comonad generated by the adjunction. Furthermore, because its domain is cofibrant, this data can be used to construct explicit quasi-categori...

Localization and Completion in Homotopy Theory